sequent calculus
[网络] 相继式演算
热门查询
- lowe [人名] [英格兰人、苏格兰人姓氏] 洛 Low的变体
- Boardman 搞布景的人
- fathomless adj. 深不可测的；不可了解的
- Antille n. (Antille)人名；(西)安蒂列
- spring n. 春天；弹簧；泉水；活力；跳跃 adj. 春天的 vt. 使跳起；使爆炸；突然提出；使弹开 vi. 生长；涌出；跃出；裂开 n. (Spring)人名；(德)施普林；(英、芬、瑞典)斯普林
- eureka int. 有了！；找到了！ n. (Eureka)人名；(西)欧雷卡
- lordosis n. 脊柱前弯症
- appeaser n. 劝解人
- cahill n. 垂钓用的假蝇饵
- blondness n. blond的变形
- Soane n. (Soane)人名；(英)索恩
- astronomy n. 天文学
- idiomatic adj. 惯用的；符合语言习惯的；通顺的
- cake n. 蛋糕；块状物；利益总额 vt. 使结块 vi. 结成块状 n. (Cake)人名；(英)凯克；(塞)察凯
- grandmaster n. 大师；最高段的棋手
- bargainer n. 交易者；买卖约定者；讨价还价的人
- ehrlich n. 欧利希（德国细菌学家）
- Davide n. (Davide)人名；(意、葡、瑞典)达维德
- distain vt. 使…变色；将…弄脏；伤害…的名誉
- draw n. 平局；抽签 vi. 拉；拖 vt. 画；拉；吸引 n. (Draw)人名；(英)德劳
考试词汇表
- relative fluidity of glaze
- relative frequency density
- relative frequency diagram
- relative frequency polygon
- relative gas emission rate
- relative generation number
- relative heading indicator
- relative income difference
- relative income hypothesis
- relative intensity measure
- relative invariant measure
- relative light requirement
- relative luminosity factor
- relative molal free energy
- relative molar free energy
- relative net protein ratio
- relative noise temperature
- relative number in dynamic
- relative osculating circle
- relative percentage uptake
